Semantic Subtyping for Objects and Classes Ornela Dardha1 Daniele Gorla2 Daniele Varacca3

Source URL: www.dcs.gla.ac.uk

• Data types
• Object-oriented programming
• Programming language theory
• Subtype polymorphism
• Type system
• Polymorphism
• E
• Inheritance
• Lambda calculus
• Software engineering
• Type theory
• Computing

The 1998 HTK Broadcast News Transcription System: Development and Results P.C. Woodland, T. Hain, G.L. Moore, T.R. Niesler, D. Povey, A. Tuerk & E.W.D. Whittaker Cambridge University Engineering Department, Trumpington S

Source URL: mi.eng.cam.ac.uk

• Linguistics
• Markov models
• Evaluation of machine translation
• Natural language processing
• Acoustic model
• N-gram
• HTK
• Hidden Markov model
• Word error rate
• Speech recognition
• Computational linguistics
• Science

Security Applications of Formal Language Theory Dartmouth Computer Science Technical Report TR2011-709 Len Sassaman, Meredith L. Patterson, Sergey Bratus, Michael E. Locasto, Anna Shubina

Source URL: langsec.org

• Mathematics
• Deterministic pushdown automaton
• Parsing
• Computability
• Context-free grammar
• Context-free language
• Formal grammar
• Finite-state machine
• Recursive language
• Formal languages
• Theoretical computer science
• Theory of computation

Identifying and grounding descriptions of places. Simon E Overell Multimedia & Information Systems Dept of Computing, Imperial College London London SW7 2AZ, UK

Source URL: www.geo.unizh.ch

• Linguistics
• Word-sense disambiguation
• Geographic information retrieval
• Information retrieval
• Reliability of Wikipedia
• Wikipedia
• Recall
• Latent semantic analysis
• Accuracy and precision
• Science
• Natural language processing
• Statistics

NEWSLETTER # 24 Resource Teacher: Learning & Behaviour Service

Source URL: rtlb.tki.org.nz

• Teacher
• Teaching
• E-learning
• Kura Kaupapa Māori
• Education
• Māori language
• Educators

Student Self-assessment of ATL Skills Name: __________________________ Class: ____ Subject: ____________________ The ATL Skill is: __________________________________________________________________

Source URL: taolearn.com

• Skill
• E-learning
• Caleb Gattegno
• Assessment of Basic Language and Learning Skills
• Education
• Educational psychology
• Learning

SKOS2OWL: An Online Tool for Deriving OWL and RDF-S Ontologies from SKOS Vocabularies Martin Hepp and Andreas Radinger E-Business & Web Science Research Group, Universität der Bundeswehr München Werner-Heisenberg-Weg 3

Source URL: www.heppnetz.de

• Ontology
• Science
• Information science
• Technical communication
• Simple Knowledge Organization System
• Upper ontology
• Resource
• Hierarchy
• Web Ontology Language
• Semantic Web
• Information
• Knowledge representation

1 MINORITY RIGHTS GROUP – GREECE (MRG – G) Address: P.O. Box 60820, 15304 Glyka Nera Telephone: (+Fax: (+e-mail: website: http://www.greekhelsinki.gr

Source URL: www.greekhelsinki.gr

• Minorities in Greece
• Slavic speakers of Greek Macedonia
• Macedonian language
• Rainbow
• Macedonia
• Muslim minority of Greece
• Communist Party of Greece
• Politics of Greece
• Turks of Western Thrace
• Ethnic groups in Greece
• Europe
• Greece

C A S E S TU DY The Journey to Text Analysis Acer America, a regional division of Acer Computers, is a multibrand provider of personal computer products, peripherals

Source URL: www.clarabridge.com

• Natural language processing
• Science
• Electronic commerce
• Statistical natural language processing
• Business intelligence
• Text analytics
• Acer Inc.
• Speech analytics
• Analytics
• Marketing
• Customer experience management
• Business

2011 Paper 8 Question 2 Hoare Logic The programming language L consists of commands C composed from assignments V :=E (where E is an expression) using sequences C1 ;C2 , conditionals IF S THEN C1 ELSE C2 (where S is sta

Source URL: www.cl.cam.ac.uk